TAGs: Concave lens equation